LADA - a logic for the Analysis of Distributed Actions
نویسنده
چکیده
This paper presents a formalism, LADA, aimed especially at the description of systems and situations which arise during the design and analysis of groupware. We are particularly interested in highly distributed systems and so LADA explicitly models entities (people and things) acting at different unconnected locations. It not only describes the behaviour of the computer software, but also the social protocols required for its successful use. Temporal logic formulae which follow the subjective history of people and other entities are used to simplify the expression of some of the complicated properties required of real systems.
منابع مشابه
Distributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملمقایسه بیماران مبتلا به دیابت پنهان خودایمن و دیابت نوع 1 از نظر سابقه خانوادگی دیابت
Background: Latent autoimmune diabetes of adults (LADA) is a form of autoimmune diabetes initially managed with oral hypoglycemic agents before becoming insulin requiring. One of the LADA risk factors is family history of diabetes (FHD) that less well understood. Our aim was investigate the influence of FHD on the incidence of LADA compared with those for type 1. Methods: In this cross section...
متن کاملفراوانی دیابت پنهان خودایمن در بیماران با فنوتیپ دیابت نوع 2 در قم
Background: Latent autoimmune diabetes of adults (LADA) is a slowly progressive form of diabetes managed with diet and oral hypoglycemic agents before becoming insulin requiring. Islet autoantibodies are used for differential diagnosis between LADA and Type 2 diabetes mellitus. The aims of this study were to investigate the frequency of LADA using islet autontibodies in population with T2DM and...
متن کاملDesign and evaluation of two distributed methods for sensors placement in Wireless Sensor Networks
Adequate coverage is one of the main problems for distributed wireless sensor networks and The effectiveness of that highly depends on the sensor deployment scheme. Given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. In this paper, we apply fuzzy logic system to...
متن کاملDesign and evaluation of two distributed methods for sensors placement in Wireless Sensor Networks
Adequate coverage is one of the main problems for distributed wireless sensor networks and The effectiveness of that highly depends on the sensor deployment scheme. Given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. In this paper, we apply fuzzy logic system to...
متن کامل